ProB User Manual

نویسندگان

  • M. A. Leuschel
  • M. Butler
  • S. Lo Presti
چکیده

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ProB: A Model Checker for B

We present ProB, an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain confidence in their specifications, and unlike the animator provided by the B-Toolkit, the user does not have to guess the right values for the operation arguments or choice variables. ProB contains a model checker and a constraint-based checker, both of which can be used to d...

متن کامل

طراحی ابزار‌‌‌ دستی معلولان تتراپلژی 7C-5C با استفاده از روش UCD

  Background and aims: One of the disorders which make some limitation for people is cervical spine injury. It causes disturbances in the upper sensory and motor extremities. This complication limits daily activities. The aim of this study is to design a manual toothbrush for cervical spinal cord handicapped (tetraplegia C5-C7) that is in compliance with the movement restrictions of this group....

متن کامل

The ProB Animator and Model Checker for B A Tool Description

We present ProB, an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain confidence in their specifications, and unlike the animator provided by the B-Toolkit, the user does not have to guess the right values for the operation arguments or choice variables. ProB contains a temporal and a state-based model checker, both of which can be used to detec...

متن کامل

Integrating ProB into the TLA Toolbox

Features. Animation is one of the most useful features of ProB that is not currently supported by the TLAtool chain. It allows a user to interact with the specification by discovering the statespace step by step and to evaluate expressions on the current state. Animation could be especially useful for newcomers to get familiar with TLA. Moreover, the ProB animator can be used to control a graph...

متن کامل

PROB: un outil de modélisation formelle

The development of formal models is often a key step when developing safety or mission critical software. In this setting it is vital to formally check and validate these formal models. We present PROB, a toolset for formal models expressed in the B method, which was developed using constraint logic programming technology. PROB allows fully automatic animation of B models, and can be used to sy...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005